____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Chern-Simons-Form
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Die Chern-Simons-Formen sind bei der Definition von sekundΓ€ren charakteristischen Klassen verwendete Differentialformen, die in der Mathematik in Differentialgeometrie und Differentialtopologie in verschiedenen ZusammenhΓ€ngen vorkommen, insbesondere in Eichtheorien. Die Chern-Simons-3-Form definiert das Wirkungsfunktional der Chern-Simons-Theorie. Sie sind benannt nach Shiing-Shen Chern und James Harris Simons, den Autoren der 1974 verΓΆffentlichten Arbeit Characteristic Forms and Geometric Invariants.
Contents
β’ Definition
β’ Siehe auch
β’ Quellen
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Definition
Sei M eine Riemannsche Mannigfaltigkeit. Der Riemannsche Zusammenhang
A β β Ξ© Ξ© 1 ( P ( M ) , g l ( n ) ) {\displaystyle A\in \Omega ^{1}(P(M),{\mathfrak {gl}}(n))}
Die Chern-Simons-1-Form wird definiert durch
Tr β‘ β‘ [ A ] {\displaystyle \operatorname {Tr} [\mathbf {A} ]} ,
wobei Tr die Spur von Matrizen bezeichnet.
Die Chern-Simons-3-Form wird definiert durch
Tr β‘ β‘ [ F β§ β§ A β β 1 3 A β§ β§ A β§ β§ A ] . {\displaystyle \operatorname {Tr} \left[\mathbf {F} \wedge \mathbf {A} -{\frac {1}{3}}\mathbf {A} \wedge \mathbf {A} \wedge \mathbf {A} \right].}
Die Chern-Simons-5-Form wird definiert durch
Tr β‘ β‘ [ F β§ β§ F β§ β§ A β β 1 2 F β§ β§ A β§ β§ A β§ β§ A + 1 10 A β§ β§ A β§ β§ A β§ β§ A β§ β§ A ] {\displaystyle \operatorname {Tr} \left[\mathbf {F} \wedge \mathbf {F} \wedge \mathbf {A} -{\frac {1}{2}}\mathbf {F} \wedge \mathbf {A} \wedge \mathbf {A} \wedge \mathbf {A} +{\frac {1}{10}}\mathbf {A} \wedge \mathbf {A} \wedge \mathbf {A} \wedge \mathbf {A} \wedge \mathbf {A} \right]}
wobei die KrΓΌmmung F {\displaystyle \mathbf {F} } definiert ist durch
F = d A + A β§ β§ A . {\displaystyle \mathbf {F} =d\mathbf {A} +\mathbf {A} \wedge \mathbf {A} .}
Die allgemeine Chern-Simons-Form Ο Ο 2 k β β 1 {\displaystyle \omega _{2k-1}} ist definiert, so dass
d Ο Ο 2 k β β 1 = Tr β‘ β‘ ( F k ) , {\displaystyle d\omega _{2k-1}=\operatorname {Tr} \left(\mathbf {F} ^{k}\right),}
wobei F k {\displaystyle \mathbf {F} ^{k}} durch das Γ€uΓere Produkt von Differentialformen definiert wird.
Falls M {\displaystyle M} eine parallelisierbare 2k-1-dimensionale Mannigfaltigkeit ist (zum Beispiele eine orientierbare 3-Mannigfaltigkeit), dann gibt es einen Schnitt s : M β β P ( M ) {\displaystyle s:M\rightarrow P(M)} und das Integral von s β β Ο Ο 2 k β β 1 {\displaystyle s^{*}\omega _{2k-1}} ΓΌber die Mannigfaltigkeit M {\displaystyle M} ist eine globale Invariante, die modulo der Addition ganzer Zahlen wohldefiniert ist. (FΓΌr verschiedene Schnitte unterscheiden sich die Integrale nur um ganze Zahlen.) Die so definierte Invariante ist die Chern-Simons-Invariante
cs β‘ β‘ ( M ) β β R / Z {\displaystyle \operatorname {cs} (M)\in \mathbb {R} /\mathbb {Z} } .
Allgemeine Definition fΓΌr PrinzipalbΓΌndel und invariante Polynome
Sei G {\displaystyle G} eine Lie-Gruppe mit Lie-Algebra g {\displaystyle {\mathfrak {g}}} und f β β I k ( g ) {\displaystyle f\in I^{k}({\mathfrak {g}})} ein invariantes Polynom.
Jedem invarianten Polynom f {\displaystyle f} entspricht eine Chern-Simons-Form von G {\displaystyle G} -PrinzipalbΓΌndeln wie folgt.
Sei Ο Ο : P β β M {\displaystyle \pi :P\rightarrow M} ein PrinzipalbΓΌndel mit Strukturgruppe G {\displaystyle G} . Man wΓ€hle eine Zusammenhangsform Ο Ο β β Ξ© Ξ© 1 ( P , g ) {\displaystyle \omega \in \Omega ^{1}(P,{\mathfrak {g}})} und bezeichne mit Ξ© Ξ© β β Ξ© Ξ© 2 ( P , g ) {\displaystyle \Omega \in \Omega ^{2}(P,{\mathfrak {g}})} ihre KrΓΌmmungsform. Dann ist die Chern-Simons-Form T f β β Ξ© Ξ© 2 k β β 1 ( P , R ) {\displaystyle Tf\in \Omega ^{2k-1}(P,\mathbb {R} )} definiert durch
T f = β β i = 0 k β β 1 A i f ( Ο Ο β§ β§ [ Ο Ο , Ο Ο ] i β§ β§ Ξ© Ξ© k β β i β β 1 ) {\displaystyle Tf=\sum _{i=0}^{k-1}A_{i}f\left(\omega \wedge [\omega ,\omega ]^{i}\wedge \Omega ^{k-i-1}\right)}
mit A i := ( β β 1 ) i k ! ( k β β 1 ) ! 2 i ( k + i ) ! ( k β β 1 β β i ) ! {\displaystyle A_{i}:=(-1)^{i}{\frac {k!(k-1)!}{2^{i}(k+i)!(k-1-i)!}}} .
Im Fall flacher BΓΌndel vereinfacht sich diese Formel zu ( β β 1 ) k β β 1 k ! ( k β β 1 ) ! 2 k β β 1 ( 2 k β β 1 ) ! f ( Ο Ο β§ β§ [ Ο Ο , Ο Ο ] k β β 1 ) {\displaystyle (-1)^{k-1}{\frac {k!(k-1)!}{2^{k-1}(2k-1)!}}f\left(\omega \wedge [\omega ,\omega ]^{k-1}\right)} .
Es gilt die Gleichung
d T f = f ( Ξ© Ξ© , β¦ β¦ , Ξ© Ξ© ) {\displaystyle dTf=f(\Omega ,\ldots ,\Omega )} ,
im Fall flacher BΓΌndel also d T f = 0 {\displaystyle dTf=0} .
Bekanntlich entspricht jede charakteristische Klasse u β β H β β ( B G , Z ) {\displaystyle u\in H^{*}(BG,\mathbb {Z} )} einem invarianten Polynom, siehe Chern-Weil-Theorie. Falls f ( Ξ© Ξ© , β¦ β¦ , Ξ© Ξ© ) = 0 {\displaystyle f(\Omega ,\ldots ,\Omega )=0} , dann verschwindet nach Chern-Weil-Theorie die entsprechende charakteristische Klasse u f {\displaystyle u_{f}} in reeller Kohomologie. Die Form T f {\displaystyle Tf} ist in diesem Fall geschlossen und definiert zunΓ€chst eine Klasse in der Kohomologie von P {\displaystyle P} . ZurΓΌckziehen mittels eines Schnittes definiert eine Kohomologieklasse von M {\displaystyle M} , welche modulo ganzer Zahlen wohldefiniert ist. Die so definierte Kohomologieklasse in H β β ( M , R / Z ) {\displaystyle H^{*}(M,\mathbb {R} /\mathbb {Z} )} passt in die Bockstein-Folge
H 2 k β β 1 ( M , R / Z ) β β H 2 k ( M , Z ) β β H 2 k ( M , R ) {\displaystyle H^{2k-1}(M,\mathbb {R} /\mathbb {Z} )\rightarrow H^{2k}(M,\mathbb {Z} )\rightarrow H^{2k}(M,\mathbb {R} )} ,
wo sie auf die charakteristische Klasse u f {\displaystyle u_{f}} abgebildet wird, deren Bild in reeller Kohomologie verschwindet.
Siehe auch
Quellen
β’ Chern, S.-S.; Simons, J.: Characteristic forms and geometric invariants. The Annals of Mathematics, Second Series 99, 1974, S. 48β69.